固有ベクトルを共有する対称行列の積は可換

2025-02-28